Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
31	Reminder: Lecture slides ● Lecture slides are posted online and are available before class Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-09-17 13:39:00 Software engineering Computing Computer programming Subroutines Data types Concurrent programming languages Object-oriented programming languages C++ Const C++ classes Java Method
32	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
33	WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia L. Lawall,1 Julien Brunel,1∗ Nicolas Palix,1 Ren´e Rydhof Hansen,2 Henrik Stuart,1 Gilles Muller3 1 DIKU, University of Copenhagen, Add to Reading List Source URL: coccinelle.lip6.fr Language: English Computing Software engineering Computer programming Data types Object-oriented programming languages Memory management C++ Scripting languages Null Coccinelle Pointer Application programming interface
34	About Shawn H Corey Working as a contractor has given Shawn years of experience in various types of programming. His experience enables him to develop state-of-the-art programs that are both comprehensive and functional. Add to Reading List Source URL: web.ncf.ca Language: English - Date: 2011-08-20 13:24:06 Software engineering Software Computer programming Perl Cross-platform software High-level programming languages Scripting languages CPAN Adam Kennedy
35	Binding-Time Analysis and the Taming of C Pointers ∗ Lars Ole Andersen DIKU, University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Data types Procedural programming languages Type theory C Struct Type safety Pointer C++ classes Recursion ALGOL 68 Type system This
36	Detecting and Preventing Memory Leaks CS123 Preventing and detecting memory leaks is a crucial part of coding in C++. This doc describes the Valgrind Memory Analyzer, a built-in tool in QtCreator that automatically detec Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2014-10-21 19:59:06 Cross-platform software Object-oriented programming languages Data types Debuggers Control flow Valgrind Memory leak C++ Const Entry point Exec D
37	Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-31 23:15:57 Type theory Functional languages Object-oriented programming languages Type systems Data types Haskell Structural type system Duck typing D Type signature OCaml Abstract type
38	A Programmer’s Guide to Ethereum and Serpent Kevin Delmolino Mitchell Arnett Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2015-04-19 03:45:09 Cryptocurrencies Cross-platform software Ethereum Procedural programming languages Data types Solidity Blockchain Go Smart contract Variable Joseph Lubin Parameter
39	Introducing Java 8 A Quick-Start Guide to Lambdas and Streams Raoul-Gabriel Urma Add to Reading List Source URL: www.oreilly.com Language: English - Date: 2015-09-14 11:14:06 Cross-platform software Concurrent programming languages Data types Java platform Object-oriented programming languages Java C Sharp Anonymous function Tea Go String
40	PLACES 2013 Programming Language Approaches to Communication- and Concurrency-cEntric Software (6th International Workshop) An ETAPS Satellite Event Add to Reading List Source URL: places13.di.fc.ul.pt Language: English - Date: 2014-02-12 06:01:38 Data types Procedural programming languages Software design patterns Data management Transaction processing Schedule Type system Const D ALGOL 68 Monad

UPDATE